well-ordering relation - German English Dictionary